csinput{-}cmd($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$chain\_sys\_ind($x$;${\it cmd}$.${\it cmd}$;${\it from}$,${\it cmds}$.$\cdot$)